{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables #-}
module Data.Logic.Classes.Literal where

a = 1 where

{- This makes bad things happen. -}

b = ()