Overlap9.hs 169 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14
{-# LANGUAGE TypeFamilies #-}

module Overlap9 where

type family F a
type instance where
  F Int = Bool
  F a   = Int

g :: Show a => a -> F a
g x = length (show x)