Safe Haskell	Safe-Inferred

Bug1063

Documentation

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

Instances details

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