{-# LANGUAGE DataKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
x = 1