{-# LANGUAGE NoImplicitPrelude #-}
module Top where

import MyPrim

x :: Foo
x = x