haskell-tools-builtin-refactorings-1.0.0.0: examples/Type/TupleAssert.hs
{-# LANGUAGE ConstraintKinds #-}
module Type.TupleAssert where
f :: (Ord a, (Show a, Eq a)) => a -> String
f = show
{-# LANGUAGE ConstraintKinds #-}
module Type.TupleAssert where
f :: (Ord a, (Show a, Eq a)) => a -> String
f = show