module Test where

x :: Bool -> Int
x = _