hub.darcs.net :: thewakalix -> subtyping -> files

Haskell totally has subtyping, yes it does