Implicit unqualified import of prelude