Type defaulting using `:t` and removal of `Apply` in signatures
I just installed PAKCS with typeclasses using the git repository version.
Running the :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 Apply
s which should be removed.
Edited by Sandra Dylus