*bwe*
2018-04-15 15:34:26.282565 UTC

1 | functionC x y = |

2 | if (x > y) then True else False |

3 | |

4 | -- why is the type definition |

5 | -- functionC :: (Ord a, Ord b) => a -> b -> Bool |

6 | -- wrong? For which reason GHCi infers that a and b are of the same type? |

7 | -- functionC :: Ord a => a -> a -> Bool -- type definition derived by GHCi |