data ShowMe a b

data ShowFns =
  { showFn1 :: ShowMe Int (ShowMe Bool (ShowMe Double ()))
  , showFn2 :: ShowMe Double (ShowMe Char ())
  }

showFn1 :: Int -> Bool -> Double -> String
showFn1 a b c = show a <> " " <> show b <> " " <> show c

showFn2 :: Double -> Char -> String
showFn2 a b = show a <> " " <> show b

fnCollection :: ShowFns
fnCollection = ShowFns toShowFns toShowFns