{-# LANGUAGE TypeFamilies #-}

module NewTyCo2 where

import NewTyCo1

bar x = foo x + 1