{-# LANGUAGE Haskell2010
  , DataKinds
  , KindSignatures
  , TypeFamilies
  , ScopedTypeVariables
#-}