{-# LANGUAGE NoMonomorphismRestriction, GADTs, NoMonomorphismRestriction #-}