purescript-0.7.5: examples/passing/NakedConstraint.purs

module Main where

import Control.Monad.Eff.Console

class Partial where

data List a = Nil | Cons a (List a)

head :: (Partial) => List Int -> Int
head (Cons x _) = x

main = log "Done"