{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE ConstraintKinds #-}
-- TODO: Fix and delete this pragma
{-# OPTIONS_GHC -Wno-incomplete-uni-patterns #-}