Post #1917409

you know if idris is able to tell me that two terms unify when i write a definition surely i could find the right function internally to call from within the compiler to do the same check surely but i cannot