http://www.w3.org/ns/prov#value | - I would like to share the problem and the workaround, and especially get feedback on whether there is a better solution.I did say type trickery:{-# LANGUAGE GADTs , FlexibleContexts , RankNTypes , ScopedTypeVariables #-}Suppose we are implementing an in-place sorting algorithm.
|