Type level functions samples using GHC7.8