horses icon indicating copy to clipboard operation
horses copied to clipboard

Published 20 hours ago • verified publisher icon danieljharvey

Kind checking data type usage

Open danieljharvey opened this issue 3 years ago • 1 comments

Currently if we have:

type Maybe a = Just a | Nothing

then we can make another type like

type Wrong = Maybe Int String

This should fail because Maybe only takes one type arg, and this uses two.

danieljharvey avatar Jun 20 '22 16:06 danieljharvey

We have a kind checker now, this is so close.

danieljharvey avatar Oct 19 '23 00:10 danieljharvey