brittany-0.14.0.0: data/Test341.hs

{-# LANGUAGE TypeFamilies #-}
f :: ((~) a b) => a -> b
f = id