|< package:code-conjure

($$|<) :: Expr -> Expr -> Maybe Expr
code-conjure Conjure.Expr
Like $$ but relaxed to work on correct kinds. 
> ordE $$|< zero
Just (ord 0 :: ill-typed # Char -> Int $ Int #)

> zero $$|< zero
Nothing
Warning: just like :$, this may produce ill-typed expressions. Together with $$**, this function is unused but is useful when experiment with the source to see the effect of type-corrected on pruning the search space. (cf. $$, $$**)