Change the order of types in show

[vrom911]

For the moment

show :: (Show a, IsString b) => a -> b

It would be better to have on the first position the returned type, rather that received. So you don't need to write something like: show @_ @Text x but just show @Text x.

[chshersh]

@vrom911 I agree! It would be nice to fix this. print function has the same problem:

universum/src/Universum.hs

Line 204 in a2ebb28

print :: (X.MonadIO m, PBase.Show a) => a -> m ()

This should be solved using forall keyword to specify explicitly order of arguments, like this:

show :: forall b a . (Show a, IsString b) => a -> b

I wouldn't rely on type variables order of appearance... In such cases it's better to explicitly specify desired order.