Peter Verswyvelen wrote: > Could it be considered a bug when a function compiles fine without type > signature, but when you add the type signature that GHCi reports with > :type, it fails to compile? Can you share with us your function and the compiler error, or a small test case and the compiler error? Groetjes, Martijn.