Type defaulting using `:t` and removal of `Apply` in signatures
I just installed PAKCS with typeclasses using the git repository version.
:t command on some expressions, I was surprised to receive the specialized type
Int -> Int -> Int instead of
Num a => a -> a -> a for
Is there some kind of defaulting performed in PAKCS or what is the reason for this specialized type?
Furthermore, I noticed that running the
:t command on
(>>=), the type signature displayed by PAKCS still includes
Applys which should be removed.