module Foo where

{-# THISISATYPO foo #-}
foo :: ()
foo = ()