module Main where

-- | Documentation.
type family F a :: * -> * where
  F Int = Double
  F Bool = Char
  F a = String