有没有办法从给定域到给定共域动态构建函数？

Question

可以实现这样的功能吗？
该函数的类型为：

f : (a -> b) -> (c -> d) -> Maybe (a -> d)

如果调用时b和c是同一类型，则返回Just (a -> d)，否则返回Nothing。

如果没有，有没有办法创建我们自己的类型来表示函数，以便我们可以实现这个想法？