I introduce `:type +d`, a GHCi command that defaults the type of a polymorphic expression. This is useful if you want to see an easier-to-digest version of the type of an overloaded number or of the `length` function.
Find me at https://richarde.dev/ or on Twitter at @RaeHaskell.