Safe Haskell	Safe-Inferred
Language	Haskell2010

Bug1063

Documentation

class (c => d) => Implies c d #

Instances details

(c => d) => Implies c d #
Instance details Defined in Bug1063