purescript-0.15.15: tests/purs/passing/NakedConstraint.purs

module Main where

import Effect.Console

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

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

main = log "Done"