{-# LANGUAGE NoImplicitPrelude #-}
module Importer where

import Imported

data Foo = MkFoo
data Bar = MkBar

f :: Foo -> Bar
f MkFoo = MkBar

foo = f |$| MkFoo |*| MkFoo |*| MkFoo