fun :: (Class a,Class b)
    => a -> b -> c

fun :: (a,b,c) -> (a,b)

fun :: (Class a, Class b)
    => a ->(# d,e #)-> c