Relative Content

Tag Archive for haskelltype-deductionunificationrank-n-types

RankNTypes, Daisy Chaining

I’ve been working my way through understanding RankN types (where n==2 for the most part). I have a situation where I have a function thusly: