{-# LANGUAGE NoImplicitPrelude #-}

module B where

import A

b :: Maybe a
b = Nothing