haskell-tools-refactor-1.0.1.1: 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